Strong Eventual Consistency